Model of computation

Results: 512



#Item
231Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana

Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 4: Models and algorithms to analyze large-scale concurrent systems: approaches inspired by pi-calculus and static ana

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2013-04-15 19:28:16
232FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract

FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2005-02-28 05:08:39
233MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley

Add to Reading List

Source URL: bitblaze.cs.berkeley.edu

Language: English - Date: 2013-03-28 20:19:28
234Spatial Cognition and Computation 1: 31–65, 1999. © 1999 Kluwer Academic Publishers. Printed in the Netherlands. Human navigation ability: Tests of the encoding-error model of path integration ROBERTA L. KLATZKY1,∗,

Spatial Cognition and Computation 1: 31–65, 1999. © 1999 Kluwer Academic Publishers. Printed in the Netherlands. Human navigation ability: Tests of the encoding-error model of path integration ROBERTA L. KLATZKY1,∗,

Add to Reading List

Source URL: www.recveb.ucsb.edu

Language: English
235Creating an AI modeling application for designers and developers Ryan Houlette, Daniel Fu, Randy Jensen Stottler Henke* ABSTRACT Simulation developers often realize an entity’s AI by writing a program that exhibits the

Creating an AI modeling application for designers and developers Ryan Houlette, Daniel Fu, Randy Jensen Stottler Henke* ABSTRACT Simulation developers often realize an entity’s AI by writing a program that exhibits the

Add to Reading List

Source URL: www.stottlerhenke.com

Language: English - Date: 2003-04-30 16:55:28
236A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are

A theory of restrictions for logics and automata Nils Klarlund AT&T Labs{Research ([removed]) Abstract. BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:50:50
237A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro

A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-11-02 01:07:11
238CONTENT-BASED MUSICAL SIMILARITY COMPUTATION USING THE HIERARCHICAL DIRICHLET PROCESS Matthew Hoffman Princeton University Dept. of Computer Science

CONTENT-BASED MUSICAL SIMILARITY COMPUTATION USING THE HIERARCHICAL DIRICHLET PROCESS Matthew Hoffman Princeton University Dept. of Computer Science

Add to Reading List

Source URL: www.cs.columbia.edu

Language: English - Date: 2015-03-12 00:16:21
239A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed]

A Core Calculus of Dependency Mart´ın Abadi Systems Research Center Compaq [removed]

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2003-11-05 23:04:29
240Towards Execution of the Synchronous Functional Data-Flow Language S IG [Draft Paper] Baltasar Tranc´on y Widemann Markus Lepper

Towards Execution of the Synchronous Functional Data-Flow Language S IG [Draft Paper] Baltasar Tranc´on y Widemann Markus Lepper

Add to Reading List

Source URL: ifl2014.github.io

Language: English - Date: 2015-03-04 15:20:42